Skip to content

Update extracted-files in v7.1#713

Open
dthaler wants to merge 1 commit into
v7.1from
v7.1-generate-files
Open

Update extracted-files in v7.1#713
dthaler wants to merge 1 commit into
v7.1from
v7.1-generate-files

Conversation

@dthaler

@dthaler dthaler commented Sep 23, 2025

Copy link
Copy Markdown
Collaborator

Update extracted files
This PR is auto-generated by [gh pr create].

@dthaler dthaler added the automated pr Automated PR label Sep 23, 2025
tychonievich
tychonievich requested changes Sep 30, 2025
View reviewed changes

@tychonievich tychonievich left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This PR is removing the newly-added subsumes fields (but shouldn't do that). I wonder if an earlier marge broke something?

@github-actions github-actions Bot force-pushed the v7.1-generate-files branch from 675eefb to ee67247 Compare October 21, 2025 16:10
@github-actions github-actions Bot force-pushed the v7.1-generate-files branch 3 times, most recently from 333e8ba to e3e96a1 Compare June 16, 2026 17:54
@github-actions github-actions Bot force-pushed the v7.1-generate-files branch from e3e96a1 to 9db1e93 Compare June 23, 2026 17:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@tychonievich tychonievich tychonievich requested changes
@clarkegj clarkegj Awaiting requested review from clarkegj
@albertemmerich albertemmerich Awaiting requested review from albertemmerich albertemmerich is a code owner
@lynchrs3 lynchrs3 Awaiting requested review from lynchrs3 lynchrs3 is a code owner

Assignees

No one assigned

Labels

automated pr Automated PR

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@dthaler @tychonievich